# capture = 'stderr'
# command = ['typecheck', '--strict-typechecking']
let x = (1 + 1) in (x + 1 : Number)
